Boolean data type

Results: 407



#Item
211Data types / Type theory / Procedural programming languages / C++ / Primitive types / C Sharp / Boolean data type / C / ?: / Computing / Software engineering / Computer programming

Final draft ECMA-334 third Edition

Add to Reading List

Source URL: www.go-mono.com

Language: English - Date: 2005-07-11 09:31:35
212Computer programming / Type theory / Boolean algebra / Program analysis / Type system / Boolean data type / Conditional / Constructor / Oracle Database / Data types / Computing / Software engineering

The following is intended to outline our general product direction. It is intended for information purposes only, and may not be incorporated into any contract. It is not a commitment to deliver any material, code, or f

Add to Reading List

Source URL: wiki.jvmlangsummit.com

Language: English - Date: 2012-07-31 18:12:33
213Computability theory / Boolean algebra / Functions and mappings / Lambda calculus / Theoretical computer science / Monad / Boolean data type / Function / Conditional / Mathematics / Computing / Mathematical logic

Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1

Add to Reading List

Source URL: mirrors.ucr.ac.cr

Language: English - Date: 2013-08-06 13:14:53
214Computability theory / Boolean algebra / Functions and mappings / Lambda calculus / Theoretical computer science / Monad / Boolean data type / Function / Conditional / Mathematics / Computing / Mathematical logic

Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1

Add to Reading List

Source URL: mirrors.hust.edu.cn

Language: English - Date: 2013-08-06 13:14:53
215Econometrics / Biostatistics / Measurement / Boolean algebra / Akaike information criterion / Model selection / Confidence interval / Economic model / Boolean data type / Statistics / Information / Science

Package ‘texreg’ November 1, 2014 Version 1.34 Date[removed]Title Conversion of R regression output to LaTeX or HTML tables. Author Philip Leifeld

Add to Reading List

Source URL: cran.r-project.org

Language: English - Date: 2014-10-31 19:44:42
216Computability theory / Boolean algebra / Functions and mappings / Lambda calculus / Theoretical computer science / Monad / Boolean data type / Function / Conditional / Mathematics / Computing / Mathematical logic

Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1

Add to Reading List

Source URL: get-software.net

Language: English - Date: 2013-08-06 13:14:53
217Procedural programming languages / NuSMV / Boolean algebra / Data types / Expr / Boolean data type / C / Model checking / FALSE / Computing / Software engineering / Software

NuSMV 2.2 User Manual Roberto Cavada, Alessandro Cimatti, Emanuele Olivetti, Gavin Keighren, Marco Pistore and Marco Roveri IRST - Via Sommarive 18, 38055 Povo (Trento) – Italy

Add to Reading List

Source URL: nusmv.fbk.eu

Language: English - Date: 2005-05-05 13:53:02
218Computability theory / Boolean algebra / Functions and mappings / Lambda calculus / Theoretical computer science / Monad / Boolean data type / Function / Conditional / Mathematics / Computing / Mathematical logic

Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1

Add to Reading List

Source URL: www.math.mun.ca

Language: English - Date: 2013-08-06 12:14:00
219Computability theory / Boolean algebra / Functions and mappings / Lambda calculus / Theoretical computer science / Monad / Boolean data type / Function / Conditional / Mathematics / Computing / Mathematical logic

Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1

Add to Reading List

Source URL: mirrors.hust.edu.cn

Language: English - Date: 2013-08-06 13:14:53
220Computability theory / Boolean algebra / Functions and mappings / Lambda calculus / Theoretical computer science / Monad / Boolean data type / Function / Conditional / Mathematics / Computing / Mathematical logic

Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1

Add to Reading List

Source URL: ctan.ijs.si

Language: English - Date: 2013-08-06 12:14:00
UPDATE